381. Etude comparative des languages de programmation
پدیدآورنده: / Traduit par M. T. Margulici
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
H
4914
382. Expert PHP 5 tool
پدیدآورنده: Dirk Merkel
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: PHP (Computer program language), Handbooks, manuals, etc,Web sites, Design, Handbooks, manuals, etc,COMPUTERS, Programming Languages, JavaScript., bisacsh,COMPUTERS, Programming Languages, VBScript., bisacsh,Electronic books
383. Expert advisor programming :
پدیدآورنده: Andrew R. Young.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)
رده :
Z52
.
5
.
M52
A537
2010
384. Exploring Robotics with ROBOTIS Systems
پدیدآورنده: Chi N. Thai
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science. , Programming languages (Electronic computers) , Artificial intelligence.
رده :
E-Book
,
385. Express.js :
پدیدآورنده: Azat Mardan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: EXPRESS (Computer program language),JavaScript (Computer program language),Programming languages (Electronic computers)
رده :
QA76
.
73
.
J39
386. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
پدیدآورنده: hrsg. von Bodo Schlender und Wolfgang Frielinghaus
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
7
387. Fairness
پدیدآورنده: Francez, Nissim.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F7226
1986
388. Fairness
پدیدآورنده: FRANCEZ,NISSIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC , PARALLEL PROCESSING
رده :
QA
76
.
6
.
F7226
389. Fairness
پدیدآورنده: Francez, Nissim
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
390. Fairness
پدیدآورنده: / Nissim Francez
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
F7226
1986
391. Faster, smarter.dollar5Beginning programming /
پدیدآورنده: Jim Buyens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Programming languages (Electronic computers),Computer programming.,Programming languages (Electronic computers),REFERENCE-- General.
رده :
QA76
.
6
.
B87
2003eb
392. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: / Dirk Taubner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
393. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
394. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
395. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
396. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: / Dirk Taubner
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
76
.
9
.
D5
T39
1989
397. Formal Methods and Software Development :
پدیدآورنده: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
398. Formal Syntax and Semantics of Programming Languages
پدیدآورنده: \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر-- نحو ,زبانهای برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
399. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده: Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
400. Formal description technique
پدیدآورنده: / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
